-- Inference from indexing.
-- ==

def f xsss = xsss[0, 1, 2]

def main xsss : i32 = f xsss
